Specifications development for "Karbatril" codenamed tablets
نویسندگان
چکیده
منابع مشابه
An Integrated Development Environment for Formal Specifications
As software is increasingly used to control critical systems, program correctness becomes paramount. A small change in the implementation of software can have a large and perhaps disastrous impact on its behavior. Formal methods focus a software development eeort on an accurate and precise speciication of what a software system or component is to achieve. This type of speciication, when express...
متن کاملDevelopment graphs - Proof management for structured specifications
Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work, we extend development graphs with hiding (e.g. hidden operations). Hiding is a particularly difficult to realize operation, since it does not admit such a good decomposition of the involved specifications as other st...
متن کاملSpecifications for an Application Protocol Development Environment
2 AP Development Process .................................................................2 2.1 AP Project Definition...................................................................................2 2.2 AP Information Requirements .....................................................................4 2.3 AP Interpretation..........................................................................
متن کاملDevelopment and evaluation of regioselective bilayer floating tablets of Atenolol and Lovastatin for biphasic release profile
This study was performed to design bilayer regioselective floating tablets of atenolol and lovastatin to give immediate release of lovastatin and sustained release of atenolol. Bilayer floating tablets comprised two layers, i.e immediate release and controlled release layers. The immediate release layer comprised sodium starch glycollate as a super disintegrant and the sustained release layer c...
متن کاملDevelopment and evaluation of regioselective bilayer floating tablets of Atenolol and Lovastatin for biphasic release profile
This study was performed to design bilayer regioselective floating tablets of atenolol and lovastatin to give immediate release of lovastatin and sustained release of atenolol. Bilayer floating tablets comprised two layers, i.e immediate release and controlled release layers. The immediate release layer comprised sodium starch glycollate as a super disintegrant and the sustained release layer c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Current issues in pharmacy and medicine: science and practice
سال: 2017
ISSN: 2409-2932,2306-8094
DOI: 10.14739/2409-2932.2017.2.103759